perm filename BATEMA.1[LET,RWF] blob sn#877946 filedate 1989-09-29 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input rwflet
C00004 ENDMK
C⊗;
\input rwflet
\rwflet
\address
Professor Paul T. Bateman
MONTHLY Problems
Department of Mathematics
University of Illinois
1409 West Green Street
Urbana, IL  61801
\body
Dear Professor Bateman;

The following is a solution of E3331 showing there is no positive
continuously differentiable function $f$ for which $f'(x) \geq f↑2(x)$
on $[0, ∞)$.

Let $f$ be any positive continuously differentiable function on $[0, \infty)$.
Define $g(x) = x+1/f(x)$, so $g↑\prime(x) = 1 - f↑\prime(x)/f(x)↑2$.  Choose
an arbitrarily large positive number, $a$.  Define $c = g(a) = a+1/f(a) > a$.
Then $g(c) = g(a) + 1/f(c) > g(a)$.  By the mean value theorem, there is some
$b$ in $(a,c)$ for which $g↑\prime(b) = {g(c) - g(a)\over c-a} > 0$, i.e.,
$f↑\prime(b) < f(b)↑2$.  There is no such function $f$ for which $f↑\prime(x) 
\geq f↑2(x)$ on $[0,\infty)$, or even on $[a,\infty)$.

\closing
Sincerely yours,
Robert W. Floyd
\endletter
\end